CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 4 of 4 Results
1.
Model Checking Software 10th International Spin Workshop, Portland, Or, Usa, May 9-10, 2003 ...
Model Checking Software 10th International Spin Workshop, Portland, Or, Usa, May 9-10, 2003 ... by Ball, Thomas, Rajamani, Sri... ISBN: 9783540401179 List Price: $52.95
$51.31 (Save 3%)
2.
Computer Aided Verification 17th International Conference, Cav 2005, Edinburgh, Scotland, Uk...
Computer Aided Verification 17th International Conference, Cav 2005, Edinburgh, Scotland, Uk... by Etessami, Kousha, Rajamani,... ISBN: 9783540272311 List Price: $104.00
$103.17
3.
Verified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010...
Verified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010... by Leavens, Gary T., O'Hearn, ... ISBN: 9783642150562 List Price: $72.00
$51.31 (Save 28%)
4.
Model Checking Software
Model Checking Software by Ball, Thomas, Rajamani, Sri... ISBN: 9783662194829 List Price: $24.99

OUT OF STOCK

See Availability on Amazon